MGI:3721141 Nlrp3<tm1Tsc> NALP3- Null/knockout|Reporter http://identifiers.org/mgd/MGI:3721141 targeted mutation 1, Jurg Tschopp